631![Probability in the Engineering and Informational Sciences, 25, 2011, 171–185. doi:[removed]S0269964810000331 Probability in the Engineering and Informational Sciences, 25, 2011, 171–185. doi:[removed]S0269964810000331](https://www.pdfsearch.io/img/4435387029d172d81eaaec21e311ea78.jpg) | Add to Reading ListSource URL: www.math.wsu.eduLanguage: English - Date: 2011-04-01 00:21:28
|
---|
632![Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1 Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1](https://www.pdfsearch.io/img/fa01419c9fd33e4df2914cd21c6ad614.jpg) | Add to Reading ListSource URL: maude.cs.uiuc.eduLanguage: English - Date: 2007-07-04 15:14:58
|
---|
633![Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1 Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1](https://www.pdfsearch.io/img/a0906db1feb5cf80e86030e4e4c1b68a.jpg) | Add to Reading ListSource URL: maude.cs.uiuc.eduLanguage: English - Date: 2007-07-04 15:15:07
|
---|
634![Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino](https://www.pdfsearch.io/img/0f2b38f9d668e9d40b7bada810d5d3ae.jpg) | Add to Reading ListSource URL: maude.cs.uiuc.eduLanguage: English - Date: 2004-08-30 16:16:42
|
---|
635![Local Model Checking Games (Extended Abstract) Colin Stirling? Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Local Model Checking Games (Extended Abstract) Colin Stirling? Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK](https://www.pdfsearch.io/img/85ed3fb5645719c159926d21031ec408.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-05-20 10:04:11
|
---|
636![Modal and Temporal Logics for Processes Colin Stirling Dept. of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK email: [removed] Modal and Temporal Logics for Processes Colin Stirling Dept. of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK email: [removed]](https://www.pdfsearch.io/img/753c2e16b4ad71e0344762693325713d.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-05-20 10:03:46
|
---|
637![Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk](https://www.pdfsearch.io/img/afb533f09008c31091288a5b5cbeb6bc.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-05-20 09:57:33
|
---|
638![Action Emulation Between Canonical Models Floor Sietsma Jan van Eijck May 23, 2013 Action Emulation Between Canonical Models Floor Sietsma Jan van Eijck May 23, 2013](https://www.pdfsearch.io/img/95e3c5ed848c35b97cb473559cc8251c.jpg) | Add to Reading ListSource URL: homepages.cwi.nlLanguage: English - Date: 2013-12-13 10:52:48
|
---|
639![Chapter 1 Perception and Change in Update Logic Jan van Eijck Abstract Three key ways of updating one’s knowledge are (i) perception of states Chapter 1 Perception and Change in Update Logic Jan van Eijck Abstract Three key ways of updating one’s knowledge are (i) perception of states](https://www.pdfsearch.io/img/7795930780a69b79860d5830b445770b.jpg) | Add to Reading ListSource URL: homepages.cwi.nlLanguage: English - Date: 2011-01-18 09:31:16
|
---|
640![Logic of Information Flow on Communication Channels Yanjing Wang, Floor Sietsma and Jan van Eijck Centrum Wiskunde en Informatica, y.wang, f.sietsma, [removed] Abstract Logic of Information Flow on Communication Channels Yanjing Wang, Floor Sietsma and Jan van Eijck Centrum Wiskunde en Informatica, y.wang, f.sietsma, [removed] Abstract](https://www.pdfsearch.io/img/dd1d693e1cb2159ba2750203fe9c8e49.jpg) | Add to Reading ListSource URL: homepages.cwi.nlLanguage: English - Date: 2010-11-17 08:10:08
|
---|